<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <title>package alloy.parse</title>
  </head>

  <body>
    Parsing of Alloy.  We first use JavaCC to parse Alloy into a Concrete Syntax Tree; then,
    the visitor {@link alloy.parse.visitor.MakeASTVisitor} construct an Abstract Syntax tree from that
    (see {@link alloy.ast}). After this, various semantic checks still need to be done on the AST
    (see {@link alloy.semantic}) because the parser can't enforce all of Alloy well-formedness rules,
    and various desugarings performed (see {@link alloy.transform}) because the translator ({@link alloy.transl})
    can only handle a subset of Alloy. 
    <hr>
    <address><a href="mailto:Administrator@TYNDA"></a></address>
<!-- Created: Mon Apr 04 12:11:08 Eastern Daylight Time 2005 -->
<!-- hhmts start -->
Last modified: Mon Apr 04 12:20:07 Eastern Daylight Time 2005
<!-- hhmts end -->
  </body>
</html>
